1. .....................
پدیدآورنده : Salomaa, Arto
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Formal language
رده :
QA
267
.
3
.
S24
2. <A> Half-Century of Automata Theory
پدیدآورنده : \ editors, A. Salomaa, D. Wood, S. Yu.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Algebra,جبر, -- Congresses, -- کنگره‌ها,a04,a04,Machine theory -- Congresses.,نظریه ماشین -- کنگره ها
رده :
E-Book
,
3. A half-century of automata theory
پدیدآورنده : / editors, A. Salomaa, D. Wood, S. Yu
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Machine theory--Congresses
رده :
QA
,
267
,.
H333
,
2001
4. Automata languages and Programming: 15th International Colloquium, Tampere, Finland, July 11-15, 1988 Proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
267
.
A9228
1988
5. Automata, languages and programming : Fourth Colloquium, University of Turku, Finland, July 18-22, 1977
پدیدآورنده : edited by Arto Salomaa and Magnue Steinby
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
52
6. Automata, languages and programming : Fourth colloquium, University of Turku, Finland, July 18-22, 1977
پدیدآورنده : edited by Arto Salomaa and Magnus Steinby
کتابخانه: (طهران)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
C63
1977
7. Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 : Proceedings
پدیدآورنده : Timo Lepisto, Arto Salomaa )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
317
8. Automata-theoretic aspects of formal power series
پدیدآورنده : Salomaa, Arto, 4391-
کتابخانه: (طهران)
موضوع : ، Sequential machine theory,، Formal languages,، Power series
رده :
QA
267
.
5
.
S4S29
1978
9. Chinese remainder theorem :
پدیدآورنده : C. Ding, D. Pei, A. Salomaa.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Coding theory.,Cryptography.
10. Computation and automata
پدیدآورنده : Salomaa, Arto
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computable functions,، Computational complexity,، Sequential machine theory
رده :
QA
9
.
59
.
S25
1985
11. Computation and automata
پدیدآورنده : Salomaa, Arto
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Computable functions,، Computational complexity,Sequential machine theory
رده :
QA
9
.
59
.
S25
1985
12. Computation and automata
پدیدآورنده : Salomaa, Arto, 4391-
کتابخانه: (طهران)
موضوع : ، Computable functions,، Computational complexity,، Sequential machine theory
رده :
QA
9
.
59
.
S25
13. Cornerstones of undecidability /
پدیدآورنده : Grzegorz Rozenberg and Arto Salomaa
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Decidability (Mathematical logic),Unsolvability (Mathematical logic),équation diophantienne,indécidabilité,Logique,Mathematical logic,récursivité,théorie démonstration
رده :
QA9
.
63
.
R69
1994
14. Current trends in theoretical computer science :
پدیدآورنده : edited by G. Păun, G. Rozenberg, A. Salomaa.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
.
C874
2001eb
15. Current trends in theoretical computer science : entering the 21st century
پدیدآورنده : edited by G. Paun, G. Rozenberg, A. Salomaa
کتابخانه: (طهران)
موضوع : ، Computer science
رده :
QA
76
.
C83
16. Current trends in theoretical computer science : the challenge of the new century
پدیدآورنده : editors, G. Paun, G. Rozenberg, A. Salomaa
کتابخانه: (طهران)
موضوع : ، Computer science
رده :
QA
76
.
C832
17. Current trends in theoretical computer science :the challenge of the new century century
پدیدآورنده : editors, G. P aun, G. Rozenberg, A. Salomaa
کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع : ، Computer science
رده :
QA
76
.
C878
2004
18. DNA computing :
پدیدآورنده : by Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Molecular computers.
19. Developments in language theory : 5th International Conference, DLT 2001, Wien, Austria, July 16-21, 2001 : revised papers
پدیدآورنده : Werner Kuich, Grzegorz Rozenberg, Arto Salomaa )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
2295
20. Duration Calculus :
پدیدآورنده : Wilfried Brauer
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
